#include<stdio.h>


int main(int argc, char const *argv[])
{
    FILE *fp = fopen("./target/mad.s","w");
    fprintf(fp,"hello world!");
    return 0;

}
